System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
531	The Ins and Outs of Gradual Type Inference Aseem Rastogi Avik Chaudhuri Stony Brook University Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-09-04 23:14:52 Programming language theory Type system Type inference Type safety Variable Closure System F Hindley–Milner Function Software engineering Type theory Computing
532	CDuce Programming Language Tutorial Language Version 0.3.2+3 1 Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:29 Markup languages Technical communication Lisp programming language XQuery CDuce PCDATA Pattern matching Type system CDATA Computing XML Software engineering
533	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
534	Reconstructing DALVIK Applications Marc Schönefeld CANSECWEST 2009, MAR18 Add to Reading List Source URL: cansecwest.com Language: English - Date: 2009-03-25 18:45:02 Android Java virtual machine Cross-platform software Java programming language Java platform Dalvik APK Java JAR Computing Software System software
535	DynaMoW User’s Manual (for DynaMoW releaseFrédéric Chyzak and Alexis Darrasse September 9, 2011 Add to Reading List Source URL: ddmf.msr-inria.inria.fr Language: English - Date: 2011-09-09 05:21:24 Functional languages Procedural programming languages Data types Type theory OCaml Caml Foreach loop ML Type system Computing Software engineering Programming language theory
536	OVAL Board MeetingAttendees Jonathan Baker – MITRE Andrew Buttner – MITRE Bryan Worrell – MITRE Margie Zuk – MITRE Add to Reading List Source URL: oval.mitre.org Language: English - Date: 2009-01-21 14:58:37 Deprecation Linux Application programming interfaces Open Vulnerability and Assessment Language HTML Software versioning X Window System Linux kernel Computing Software Backward compatibility
537	A Very Modal Model of a Modern, Major, General Type System Andrew W. Appel ∗ Paul-Andr´e Melli`es Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-10-27 11:28:34 Orbifold Symbol Metalogic Model theory Programming language semantics
538	doi: Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:54 Formal languages Lisp programming language Dichotomies Literal and figurative language Regular expression Expression Idiom Type system Representation Literature Fiction Semantics
539	Path-Exploration Lifting: Hi-Fi Tests for Lo-Fi Emulators Lorenzo Martignoni Stephen McCamant Pongsin Poosankam Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Programming language implementation Central processing unit Virtual machines Assembly languages Computer architecture Emulator QEMU Instruction set Bochs Software System software Computing
540	Type-Preserving Compilation of Featherweight Java CHRISTOPHER LEAGUE, ZHONG SHAO, and VALERY TRIFONOV Yale University We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:11 Programming language theory Computing Recursive data type Papyrus 1 Type system Type safety Generic programming Type theory Data types Software engineering

UPDATE